gtksettings: Remove Deprecated API
authorTimm Bäder <mail@baedert.org>
Tue, 11 Oct 2016 13:04:17 +0000 (15:04 +0200)
committerBenjamin Otte <otte@redhat.com>
Mon, 17 Oct 2016 22:29:17 +0000 (00:29 +0200)
commit31cf2e3bf599ba5257d5ab3ac6a1dad796d46f7d
tree4d0a9b7316ef4b13906bce006b0cf785b2818603
parent77f50ec5d703665238907aa6c4d7d608eb0a1d8c
gtksettings: Remove Deprecated API
docs/reference/gtk/gtk4-sections.txt
gtk/gtksettings.c
gtk/gtksettings.h